widget: Use gtk_widget_queue_allocate() when clip changes
authorBenjamin Otte <otte@redhat.com>
Wed, 16 Sep 2015 21:16:44 +0000 (23:16 +0200)
committerBenjamin Otte <otte@redhat.com>
Wed, 28 Oct 2015 18:44:27 +0000 (19:44 +0100)
commit0912a6c2f5e5137705f93691c418cc8c6184fb9d
tree3bf8a672f69f25da4360dad66333d134690ef242
parent195397e87ac7e03173dfe65d1cf52e2751c07706
widget: Use gtk_widget_queue_allocate() when clip changes

There's no need to queue a full resize there.
gtk/gtkwidget.c